In general, an object corresponds to a possible world, a concept corresponds to a modal proposition, and a role-bounded quantifier to a modal operator with that role as its accessibility relation.
2.
The work begins by analyzing simple " categoric " propositions, and draws a series of basic conclusions on the routine issues of classifying and defining basic linguistic forms, such as " simple terms " and " propositions ", nouns and verbs, negation, the " quantity " of simple propositions ( primitive roots of the modal propositions ".
3.
In " de Interpretatione ", Aristotle analyzes categoric propositions, and draws a series of basic conclusions on the routine issues of classifying and defining basic linguistic forms, such as simple terms and propositions, nouns and verbs, negation, the quantity of simple propositions ( primitive roots of the quantifiers in modern symbolic logic ), investigations on the excluded middle ( which to Aristotle isn't applicable to future tense propositions the Problem of future contingents ), and on modal propositions.
मोबाइल